Новая философская энциклопедия - семантических категорий теория

Учение о семантических категориях восходит к Т. Фреге и особенно к Э. Гуссерлю (Bedeutungskategorien, категории значения). Наиболее интенсивную разработку это учение получило в польской школе логики. Очень близка к учению о семантических категориях теория типов Б. Рассела (см Логицизм). Но если у Рассела теория типов была введена как средство для предотвращения теоретико-множественных парадоксов, то в польской школе логики — у Ст. Лесневского, А. Тарского, К. Айдукевича, Т. Котарбиньского, А. Гжегорчика — эта теория связана с глубокими философскими и лингвистическими проблемами. Для них элиминация парадоксов не единственный и не главный стимул для введения теории семантических категорий. Лесневский использует эту теорию в исследовании оснований дедуктивных наук. Тарский дает классификацию формализованных языков в зависимости от порядка и числа семантических категорий, к которым принадлежат переменные языка. Целый ряд важнейших результатов Тарского (о том, что метаязык, в котором определяется понятие истины, должен быть богаче объектного языка; невозможность семантического определения истины для языков бесконечного порядка без использования трансфинитной индукции) невозможно даже точно сформулировать, не предполагая определенной теории семантических категорий. Работа Айдукевича, систематически излагающая эту теорию, в то же время явилась первой работой, послужившей основой для внедрения этой теории не только в логику, но и в лингвистику. В 60-е гг. теория семантических категорий получила дальнейшее развитие в англоязычной логической литературе (Р. Монтегю, М. Крессвелл и др.).

Теория семантических категорий связана с глубинными принципами построения языков — формализованных и естественных. Соблюдение условий, налагаемых ею, является необходимым (но не достаточным!) условием осмысленности выражений любого языка. Предполагается, что выражения языка разбиваются на (непересекающиеся) классы — категории значения. Замена в осмысленном контексте (напр., предложении) одного выражения на другое с тем же типом значения сохраняет осмысленность выражения, хотя смысл его или истинностное значение  могут меняться. Предполагается, что языки построены т. о., что их выражения «неравноправны» и взаимозависимы так, что сложные выражения членятся на составляющие по схеме: функтор и его аргументы. При этом каждому функтору соответствует определенное число выражений — его аргументов, принадлежащих к определенным семантическим категориям.

Два выражения принадлежат к одной и той же семантической категории, если (1) существует пропозициональная формула (предложение), содержащая одно из этих выражений, и (2) ни одна пропозициональная формула (предложение), содержащая одно из этих выражений, не теряет характера пропозициональной формулы (предложения), если одно из этих выражений заменить другим. Соответственно все выражения языка, являющиеся составными частями пропозициональных формул, подразделяются на классы. Два выражения причисляются к одному классу, только если они принадлежат к одной семантической категории. Однако указанное разбиение предполагает в принципе перебор бесконечного числа пропозициональных формул (предложений). Чтобы избежать этого, принимается основной принцип теории семантических категорий, согласно которому для того, чтобы два выражения принадлежали к одной категории, достаточно, чтобы имелась хотя бы одна пропозициональная формула (предложение), которая содержала бы одно из этих выражений и оставалась бы пропозициональной формулой (предложением) после замены одного выражения на другое.

Принятие такого принципа предполагает, что каждое выражение языка принадлежит к одной и только к одной семантической категории независимо от контекстов употребления, тем самым выражения языка разбиваются на непересекающиеся классы (категории). Стандартные формализованные языки удовлетворяют основному принципу этой теории.

Семантические категории образуют потенциально бесконечную и весьма разветвленную иерархию. Возможны различные системы семантических категорий в зависимости от того, какие категории принимаются за исходные и всем ли синтаксическим категориям сопоставляются семантические. Айдукевич, следуя Лесневскому, в качестве основных, исходных категорий принимает категорию имен (сингулярных термов) и категорию предложений (пропозициональных формул) — s, над которыми надстраивается бесконечная иерархия функторных категорий, различающихся числом и категориями аргументных выражений, а также категориями выражений, получающихся в результате применения функторов к их аргументам. В методе индексации категорий функторных выражений, предложенном Айдукевичем, под чертой указываются категории аргументных выражений, над чертой — категория выражения, полученного в результате приложения функтора к его аргументам. Получаем соответственно бесконечную иерархию категорий функторных выражений: s/n, s/nn,..., s/s, s/ss,..., n/n, n/nn,..., s/n/s/n,... и т. д. s/s — категория унарной логической связки (напр., отрицания — «Неверно, что...») (см. Логические связки); s/ss — категория бинарных логических связок (напр., конъюнкции, дизъюнкции и т. д.); s/n — категория одноместного предикатора («четкий», «высокий», «быть матерью»), n/n — одноместные предметные функторы (напр., «мать», «король», «вес», «сила» в контекстах «мать Петра», «король Франции», «вес тела», «сила тока»); s/n/s/n — категория выражений «быстро», «очень», «громко» в контекстах вида «бежит быстро», «очень высокий», «говорит громко». Указанный подход позволяет анализировать и устанавливать категории достаточно сложных выражений и операторов. Можно рассматривать операции с отношениями и установить категорию, напр., относительного произведения (композиции) R*Q («мать жены», «сын сестры» и т. п.), в котором оператор относительного произведения принадлежит категории s/nn/s/nn (в русском языке он репрезентируется родительным падежом, в немецком — предлогом и т. д.).

Метод индексаций Айдукевича дает простую процедуру установления категориальной структуры и правильной построенности (синтаксической связности) выражений языка. Вслед за категорией функтора пишутся категории его аргументов. Затем проводится последовательное «сокращение» справа налево. Выражение является синтаксически связным, если в результате сокращения остается одна дробь вида / .. ;, где k S» 0. Такое сокращение означает, что выражение до конца членится по схеме: функтор и его аргументы.

-.fo(cvr). s/ss s/ss s/ss ss = s; пропозициональная формула синтаксически связана.

(5 2)з7. s/ss n/nn im n— указанное сокращение не проходит, выражение не является синтаксически связанным, оно нарушает условие категориальной корректности.

Если в качестве исходной семантической категории принимать только категорию сингулярных термов (имен) — п, выражения категорий s/s, s/ss,... (логические связки)  выступают как синкатегорематические термины, т. е. необозначающие выражения (номиналистический подход к истолкованию логических связок). Фактически такой подход имеет место, напр., у Г. Фреге в его трактовке логических связок.

Особую трудность представляет трактовка кванторов и операторов. Тип их значения (категория значения) выявляется, если наряду, с операцией приложения функторов к их аргументам в теории семантических категорий в качестве конструирующей операции вводится обратная ей операция абстракции (см. Смирнова Е. Д. Логика и философия. М., 1996, гл. 3).

Тогда категорией кванторов будет — s/s/n, а ч-оператора («тот, который...»; напр., «тот человек, который написал «Айвенго») — n/s/n. T. о., приписывание категории значения зависит от принимаемых методов логического анализа.

Еще более интересный вопрос составляет приписывание семантических категорий интенсиональным операторам и предикатам типа «необходимо, чтобы...», «полагает, что...» и т. д. Именно такого рода операторы и предикаты определяют интенсиональные контексты. При интерпретации этих предикатов и операторов приходится не только обращаться к положениям дел в данном мире, но и вводить в рассмотрение классы возможных миров, «сопряженных» с данным миром, и задавать функции и отношения на такого рода объектах. Семантический анализ интенсиональных предикатов и операторов предполагает рассмотрение такого рода абстрактных сущностей. И это определяет особый тип связи этих предикатов и операторов с их аргументами и тем самым их семантическими категориями (см. там же, гл. 4, § 4).

По существу построение системы семантических категорий — глубоко философский, теоретико-познавательный вопрос. Принятие той или иной системы семантических категорий коррелятивно принятию определенных теоретико-познавательных допущений, определенной «сетки» логического анализа. Иными словами, вопрос состоит в том, о какого типа сущностях может идти речь в данном языке, какого рода абстракции и идеализации принимаются. Именно система семантических категорий определяет то, что называют «миром языка», его онтологией.

На базе теории семантических категорий возможно уточнение понятия логической формы, для выявления которой необходимо указание семантических категорий логических констант и дескриптивных терминов.

Иерархия семантических категорий, положенная в основу формализованного языка, обусловливает способ анализа логической структуры выражений этого языка и тем самьм допустимые способы рассуждения. Так, язык стандартной логики (систем фреге-расселовского типа) и язык системы онтологии Лесневского отличаются прежде всего тем, что в их основе лежат разные системы семантических категорий. В качестве основных категорий в языках фреге-расселовского типа выступают собственные имена (имена предметов индивидной области) и высказывания. Общие имена, типа «металл», «человек», «электропроводное вещество» и т. д., относятся не к категории имен, а к категории s/n, т. е. рассматриваются как одноместные предикаты. В силлогистике и онтологии Лесневского общие имена выступают в качестве основной, исходной категории. В силу этого в языках фреге-расселовского типа субъект и предикат высказывания не могут принадлежать к одной и той же семантической категории, в то время как в силлогистике и онтологии Лесневского -могут. По существу меняется само понятие предиката.

Построение теории семантических категорий становится базой для разработки определенной типологии самих языков. Языки, во-первых, могут различаться исходными категориями и способами конструирования производных. Далее, они могут отличаться тем, как соотносятся синтаксические и семантические категории. Наконец, языки могут различаться по числу и порядку семантических категорий (классификация Тарского). Классификация языков в этом случае связана с многообразием и типом категорий, к которым принадлежат выражения языков. В случае формализованных языков она зависит от того, принадлежат ли (квантифицируемые) переменные языка к конечному или бесконечному числу категорий. В последнем случае существенно — ограничен ли сверху порядок этих категорий.

Каждой категории соотносится натуральное число, называемое порядком категории. К 1-му порядку относятся имена индивидов и пропозициональные формулы, т. е. выражения категорий и и s. К k 1-му порядку — функторы с любым числом аргументов, порядок категорий аргументов которых